1. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
2. Foundations of quantum programming /
Author: Mingsheng Ying
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Quantum computers
Classification :
QA76
.
889
3. Foundations of quantum programming
Author: Mingsheng Ying
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Quantum computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
889
.
Y56F6
4. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
5. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
6. Thinking machines and the philosophy of computer science
Author: / [edited by] Jordi Vallverdu
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
Classification :
EBL
788
